منابع مشابه
Superimpositions and Aspect-oriented Programming
aspect Node { public static final int black = 0; public static final int white = 1; protected int token = white, node = white; abstract protected pointcut sendClass(); abstract protected pointcut sendMethods();protected pointcut sendClass(); abstract protected pointcut sendMethods(); pointcut send(): sendClass() && sendMethods(); after(): send() { node = black; } } aspect Source(MSG METHODS,IDL...
متن کاملModel Checking Applications of Aspects and Superimpositions
The model checking of applications of aspects is explained, by showing the stages and proof obligations when a collection of generic aspects (called a superimposition) is combined with a basic program. We assume that both the basic program and the collection of aspects have their own specifications. The Bandera tool for Java programs is used to generate input for model checkers, although any si...
متن کامل3D image superimpositions for orthodontic diagnostics and therapy
Orthodontists and maxillofacial surgeons have always been interested to quantify the influence of orthodontic and/or orthognathic surgery treatment on craniofacial morphology. Historically, superimpositions of cephalometric radiographs have been used to study growth and treatment effects. In recent years advances in 3D imaging techniques have led to their widespread use for setting treatment go...
متن کاملCephalometric Superimposition
His famous dissertation, published in 1947, The Face in Profile. An Anthropological X-ray Investigation on Swedish Children and Conscripts, is an outstanding contribution. That monograph became the classic example for numerous scholars to follow so that, 25 years later, a second printing was necessary. research fellow and guest lecturer at Northwestern University in Chicago, Illinois. In 1958 h...
متن کاملComparison of cephalometric measurements with digital versus conventional cephalometric analysis.
The aim of this study was to evaluate the accuracy and reliability of angular and linear cephalometric measurements using a computerized method of direct digital radiographs. This was then compared with the measurements obtained with a computerized method that uses a digitizing pad and hand tracing of printout radiographs. Pre-treatment digital cephalometric radiographs of 125 patients were tra...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Angle Orthodontist
سال: 2008
ISSN: 0003-3219,1945-7103
DOI: 10.2319/070107-301.1